(INFO_TARGETS, DVI_TARGETS): Add edt.
authorGlenn Morris <rgm@gnu.org>
Tue, 15 Dec 2009 03:01:20 +0000 (03:01 +0000)
committerGlenn Morris <rgm@gnu.org>
Tue, 15 Dec 2009 03:01:20 +0000 (03:01 +0000)
commit492992148ca1f864d75431c9c0434cbb676492fa
tree43bf46f434186bfdd0abc34bf67ea72a304af8f3
parentc6b300f4a3b7ca4564cee1293d9a6a92dfeb7123
(INFO_TARGETS, DVI_TARGETS): Add edt.
(edt, $(infodir)/edt, edt.dvi): New targets.

(PDF_TARGETS, pdf): New.
(clean): Add *.pdf.
Add pdf rules for all manuals.
doc/misc/ChangeLog
doc/misc/Makefile.in